$\vdash$  $\forall$$n$:$\mathbb{N}$, $i$:\{1..$n$$^{-}$\}. (($\neg$(0 = 0)) \& ($\neg$($n$ = 0))) $\Rightarrow$ False